Exercise logic.propositional.dnf.unicode
Description
Proposition to DNF (unicode support)
Code | logic.propositional.dnf.unicode |
Status | Stable |
Strategy | dnf |
Rules | 44 |
Buggy rules | 39 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | yes |
Examples | 5 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult